In this file I collect gnome extensions that I am using on my machine.



Vitals
https://extensions.gnome.org/extension/1460/vitals/


Clipboard Indicator
https://extensions.gnome.org/extension/779/clipboard-indicator/


Dash to Dock
https://extensions.gnome.org/extension/307/dash-to-dock/


Night Theme Switcher
https://extensions.gnome.org/extension/2236/night-theme-switcher/




Applications Menu
https://extensions.gnome.org/extension/6/applications-menu/


Better OSD
https://extensions.gnome.org/extension/1345/better-osd/


Extensions
https://extensions.gnome.org/extension/3088/extension-list/


Desktop Icons
https://extensions.gnome.org/extension/1465/desktop-icons/


Ubuntu Dock (is not used as of 9.Jul.2022)
https://extensions.gnome.org/extension/1300/ubuntu-dock/


EasyScreenCast (is not used as of 9.Jul.2022)
https://extensions.gnome.org/extension/690/easyscreencast/

